Lang’s theorem — Pt. IV: a mixed-characteristic variant
ayoucis.wordpress.com·9h
λLambda Encodings
Flag this post
AI assistance in Development
🔌Interface Evolution
Flag this post
locally presentable (infinity,n)-category
ncatlab.org·5d
🔀Category Theory
Flag this post
Beyond the Geometry of Music
golem.ph.utexas.edu·13h
🎼Audio Lambda Calculus
Flag this post
People test Nano Banana with PDF paper to whiteboard. I did the exact opposite
📄Text Chunking
Flag this post
The Rust Community Knew This Was Coming
🦀Rust Borrowing
Flag this post
Dingo: A Meta-Language for Go
🦀Rust Macros
Flag this post
Olmo 3 is a fully open LLM
simonwillison.net·5h
🌀Brotli Internals
Flag this post
Set theory with types
🔤Type Theory
Flag this post
Formatively Assessing Student Thinking
kgmathminds.com·15h
📊Static Analysis
Flag this post
WebAssembly Still Expanding Frontend Uses 10 Years Later
thenewstack.io·13h
🕸️WebAssembly
Flag this post
Indefiniteness makes lattice reduction easier
arxiv.org·2d
🔗Combinatory Logic
Flag this post
A Subsets.py Step-by-Step Visualization! (With Lyrics)
youtube.com·23h
📚Lempel-Ziv
Flag this post
Railway Oriented Programming
🧬Functional Programming
Flag this post
A Senior Developer’s Guide to Python’s High-Performance Data Structures
📝Concrete Syntax
Flag this post
Safeguarded AI (Part 2)
johncarlosbaez.wordpress.com·3d
⚙️Proof Engineering
Flag this post
Loading...Loading more...